Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
241	Reasoning About Past Events in Context-Aware Middleware Eline Philips, Christophe Scholliers,Charlotte Herzeel and Stijn Mostinckx {ephilips, cfscholl, caherzee, smostinc}@vub.ac.be Programming Technology Lab Vrije Unive Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2008-03-06 09:34:02 Context-aware pervasive systems Ubiquitous computing Temporal logic Aspect-oriented software development Framing
242	Generator Induction in Order Sorted Algebras Olaf Owe and Ole-Johan Dahl Institute of Informatics University of Oslo Norway February 1989 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Mathematical logic Category theory Functional programming Abstract algebra Term algebra Initial algebra Algebraic structure Mathematical induction Term Sigma-algebra Unification
243	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Category theory Functional programming F-algebra F-coalgebra Functor Initial algebra Monad Equivalence of categories Coalgebra Stoneech compactification
244	The Implementation of equal? and eq? in the MT Virtual Machine Add to Reading List Source URL: con.racket-lang.org Language: English - Date: 2014-03-07 23:24:47 Recursion Theoretical computer science Mathematical logic Computability theory Programming idioms Infinite loop Functional programming Algorithm Structural induction
245	Partial Evaluation of Functional Logic Programs in Rewriting-based Languages L. Lafave March 1997 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Programming idioms Mathematical logic Elementary mathematics Recursion Computability theory Escher Monad Rewriting Term Path ordering Fold Function
246	Grothendieck Inequalities, Nonlocal Games and Optimization Jop Briët Grothendieck Inequalities, Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2012-08-10 06:15:57 University of Amsterdam Mathematical optimization Inequalities Quantum mechanics Institute for Logic Language and Computation Semidefinite programming Grothendieck inequality Quantum entanglement
247	BU CAS CS 520 (Fall Semester, Principles of Programming Languages Inductive Reasoning Induction is a powerful tool for reasoning in mathematics. In the study of programming languages, it is frequent to encounter i Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2011-09-03 11:02:00 Logic in computer science Mathematical proofs Mathematical induction Structural induction Binary tree Exponentiation Trace Markov number
248	I N F S Y S R E S E A R C H R Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2007-03-24 19:54:28 Logic programming Situation calculus Sheaf Computability theory
249	Monday 16 September 9:00 Invited talk (chair: Tom Schrijvers) Add to Reading List Source URL: users.ugent.be Language: English - Date: 2014-09-18 05:58:35 Programming paradigms Logic in computer science Constraint programming Prolog Constraint Handling Rules Abstract machine Operational semantics Abstract data type Semantics Functional programming Logic programming Coq
250	System Description: iProver – An Instantiation-Based Theorem Prover for First-Order Logic Konstantin Korovin? The University of Manchester School of Computer Science Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2008-10-30 19:06:51 Automated theorem proving Logic in computer science Constraint programming Logic programming Rules of inference Resolution Boolean satisfiability problem Clause Small clause Reasoning system English relative clauses Unit propagation

UPDATE